🔓 Lock-Free Structures - emschwartz · Scour

CAS Internals: A Journey Through the Central Authentication Server Codebase 🛡️Open Policy Agent

leanpub.com·5d·Hacker News·

Testing a 400+ Module Spring Boot Application: Patterns That Actually Scale 🎮Deterministic Simulation

medium.com·2d·Hacker News·

Miniature and versatile genome regulation TnpB-ωRNA toolkits facilitate cancer immunotherapy 📇Vector Indexing

nature.com·1d·

Articles de blog 📊IVF Indexes

lighton.ai·6d·

Shared mutable state in Rust (2022) 🔄Async Rust

draft.ryhl.io·16h·Hacker News·

CAS Releases New Toolbox for Identifying Potential Bias in Insurance Rates 🐯TigerBeetle

casact.org·6d·

facebookincubator/dispenso: The project provides high-performance concurrency, enabling highly parallel computation. ⚡Glommio

github.com·11h·Hacker News·

Meta and Google lose $6 million verdict over social media addiction 🧘Digital Minimalism

kite.kagi.com·6d·

Garbage Collection: From First Principles to Modern Collectors in Java, Go and Python ⚙️Language Runtimes

shbhmrzd.github.io·1d·Hacker News, r/golang, r/programming·

Morocco claims AFCON case closed, despite Senegal appeals to CAF and CAS 🚩CTF Writeups

aljazeera.com·5d·

Improving Execution Concurrency in Partial-Order Plans via Block-Substitution 🚀Async Optimization

arxiv.org·1d·

Process-Based Concurrency: Why Beam and OTP Keep Being Right ⏳Durable Execution

news.ycombinator.com·1d·Hacker News·

Formally verifying digital circuits with category theory in Lean 📐TLA+

matt.hunzinger.me·5d·r/programming·

Perceus: Garbage Free Reference Counting with Reuse (2020) 🔒Borrow Checker

microsoft.com·5d·Lobsters·

The Cost of Concurrency Coordination with Jon Gjengset 🧵Concurrency

youtu.be·6d·r/rust·

Verilean/sparkle: A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis. 📐TLA+

github.com·3d·Hacker News·

The Pipeline Problem ⚙️Mechanical Sympathy

modular.com·3d·Hacker News·

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution 🔄Incremental Computation

arxiv.org·2d·

African football chief will ‘respect’ CAS decision on AFCON final row 🏛️Bretton Woods

aljazeera.com·4d·

Proofdoors and Efficiency of CDCL Solvers 🧮SMT Solvers

arxiv.org·3d·

Loading more...